1. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
2. Automata, languages and programming : Fifth Colloquium, Udine, Italy, July 17-21, 1978
پدیدآورنده : edited by G. Ausiello and C. Bohm
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
62
3. CAAP'81 : trees in algebra and programming 6th Colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده : edited by E. Astesiano and C. Bohm; under the sponsorship of the European Association for Theoretical Computer Science )EATCS(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
112
4. On deaths and endings :
پدیدآورنده : edited by Brent Willock, Lori C. Bohm and Rebecca C. Curtis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalysis.,Attitude to Death.,Bereavement.,Grief.,Psychoanalysis.,Thanatology.,Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalyse,Psychoanalysis.,Sterben,Tod,Trauerarbeit
رده :
BF789
.
D4
O5
2007
5. Theoretical computer science: proceedings of the third Italian Conference , Mantova, 2-4 November 1989
پدیدآورنده : edited by A. Bertoni, C. Bohm, P. Miglioli
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science
رده :
QA
75
.
5
.
I83
1989
6. Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده : CAAP '81 ; edited by E. Astesiano and C. Bohm,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
رده :
QA
.
C3
166
.
2
1981
7. λ-Calculus and Computer Science Theory :
پدیدآورنده : edited by C. Böhm. B�ohm, C.,
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
